An Extension Result for Continuous Valuations
نویسندگان
چکیده
منابع مشابه
An extension result for continuous valuations
We show, by a simple and direct proof, that if a bounded valuation on a directed complete partial order (dcpo) is the supremum of a directed family of simple valuations then it has a unique extension to a measure on the Borel-algebra of the dcpo with the Scott topology. It follows that every bounded and continuous valuation on a continuous domain can be extended uniquely to a Borel measure. The...
متن کاملContinuous valuations
0 Introduction In this paper we study, for a certain type of topological rings A, the topological space Cont A of all equivalence classes of continuous valuations of A. The space ContA is defined as follows. Let v: A-+Fw{0} be a valuation of A, where F is an ordered multiplicative group generated by im(v)\{0}. On Fw [0} we introduce the topology such that U _~ F ~ {0} is open iff 0 q~ U or {xeF...
متن کاملAn extension of a result of Lewis
A result of Lewis on the extreme properties of the inner product of two vectors in a Cartan subspace of a semisimple Lie algebra is extended. The framework used is an Eaton triple which has a reduced triple. Applications are made for determining the minimizers and maximizers of the distance function considered by Chu and Driessel with spectral constraint.
متن کاملAn Extension of Moore's Result for Closed Queuing Networks
In this communication, Moore's result for the normalization constant of a closed queuing network of exponential servers is extended to the case of nondistinct traffic intensities. We then show that this result can be applied to various more general closed and semiclosed queuing networks with a product-form solution. Introduction Substantial progress has been made recently in extending the scope...
متن کاملRamifications: An Extension and Correspondence Result for the Event Calculus
Classical logic Event Calculus, and the special purpose logical action language E, are both well established formalisms for describing actions and change. However, there is yet to be an account of ramifications in Event Calculus sufficiently general to represent the classes of domains expressible in E. Indeed, an adequately general ramification theory constructed in any general purpose logical ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the London Mathematical Society
سال: 2000
ISSN: 0024-6107
DOI: 10.1112/s0024610700008681